101![Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland](https://www.pdfsearch.io/img/2010b670dfb5d681a07eeb9380735d65.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2010-05-18 11:55:34
|
---|
102![Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany](https://www.pdfsearch.io/img/f8fa4821c7d872835eb0e8214b5b1316.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
103![P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS](https://www.pdfsearch.io/img/619b50cac3c3294dd9ab6c8c68790097.jpg) | Add to Reading ListSource URL: www.cs.uni-salzburg.atLanguage: English - Date: 2016-07-18 08:27:08
|
---|
104![¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”](https://www.pdfsearch.io/img/9e77816ce62314f2429bcf31de91ed7a.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.deLanguage: English - Date: 2013-08-19 07:45:21
|
---|
105![On the Optimality of Top-k Algorithms for Interactive Web Applications∗ Yael Amsterdamer Daniel Deutch On the Optimality of Top-k Algorithms for Interactive Web Applications∗ Yael Amsterdamer Daniel Deutch](https://www.pdfsearch.io/img/1b29843a424da8d36c7cbefa0e3c67fb.jpg) | Add to Reading ListSource URL: webdb2011.rutgers.eduLanguage: English - Date: 2011-05-31 18:17:42
|
---|
106![Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2](https://www.pdfsearch.io/img/4eedc2b290e9c1cab26a15a641046af9.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
107![1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay 1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay](https://www.pdfsearch.io/img/e4e61eab04747784652af70de1928adb.jpg) | Add to Reading ListSource URL: fi.ort.edu.uyLanguage: English |
---|
108![Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder](https://www.pdfsearch.io/img/3214136a67d639d702e5e71520780936.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2012-07-18 09:07:52
|
---|
109![In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran](https://www.pdfsearch.io/img/7fb902d39aac9d4f7ab961eb963c360f.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:37
|
---|
110![ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog](https://www.pdfsearch.io/img/da81d67046984d8417226d7600e86df1.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:36
|
---|